DEF=verif
EXT=verif
TESTDIR=.
KOMPILE_BACKEND=haskell
export KORE_EXEC_OPTS=--log-level error

include ../../../include/kframework/ktest.mak
